翻訳と辞書 Words near each other ・ Conjugated fatty acid ・ Conjugated linoleic acid ・ Conjugated microporous polymer ・ Conjugated protein ・ Conjugated system ・ Conjugation ・ Conjugation of auxiliary Catalan verbs ・ Conjugation of isometries in Euclidean space ・ Conjunct ・ Conjunct Consulting ・ Conjunctio ・ Conjunction ・ Conjunction (astronomy) ・ Conjunction (grammar) ・ Conjunction Arts ・ Conjunction elimination ・ Conjunction fallacy ・ Conjunction introduction ・ Conjunctions ・ Conjunctiva ・ Conjunctival concretion ・ Conjunctival squamous cell carcinoma ・ Conjunctival suffusion ・ Conjunctive adverb ・ Conjunctive archaeology ・ Conjunctive grammar ・ Conjunctive normal form ・ Conjunctive query ・ Conjunctive tasks ・ Conjunctive use Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Conjunction elimination ： ウィキペディア英語版 Conjunction elimination In propositional logic, conjunction elimination (also called ''and'' elimination, ∧ elimination,〔 Sect.3.1.2.1, p.46〕 or simplification)〔Copi and Cohen〕〔Moore and Parker〕〔Hurley〕 is a valid immediate inference, argument form and rule of inference which makes the inference that, if the conjunction ''A and B'' is true, then ''A'' is true, and ''B'' is true. The rule makes it possible to shorten longer proofs by deriving one of the conjuncts of a conjunction on a line by itself. An example in English: :It's raining and it's pouring. :Therefore it's raining. The rule consists of two separate sub-rules, which can be expressed in formal language as: :$\backslash frac$ and :$\backslash frac$ The two sub-rules together mean that, whenever an instance of "$P\; \backslash land\; Q$" appears on a line of a proof, either "$P$" or "$Q$" can be placed on a subsequent line by itself. The above example in English is an application of the first sub-rule. == Formal notation == The ''conjunction elimination'' sub-rules may be written in sequent notation: : $(P\; \backslash land\; Q)\; \backslash vdash\; P$ and : $(P\; \backslash land\; Q)\; \backslash vdash\; Q$ where $\backslash vdash$ is a metalogical symbol meaning that $P$ is a syntactic consequence of $P\; \backslash land\; Q$ and $Q$ is also a syntactic consequence of $P\; \backslash land\; Q$ in logical system; and expressed as truth-functional tautologies or theorems of propositional logic: :$(P\; \backslash land\; Q)\; \backslash to\; P$ and :$(P\; \backslash land\; Q)\; \backslash to\; Q$ where $P$ and $Q$ are propositions expressed in some formal system. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Conjunction elimination」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.